Canonical varieties with no canonical axiomatisation
نویسندگان
چکیده
منابع مشابه
Canonical Varieties with No Canonical Axiomatisation
We give a simple example of a variety V of modal algebras that is canonical but cannot be axiomatised by canonical equations or first-order sentences. We then show that the variety RRA of representable relation algebras, although canonical, has no canonical axiomatisation. Indeed, we show that every axiomatisation of these varieties involves infinitely many noncanonical sentences. Using probabi...
متن کاملCanonical Divisors on T-varieties
Generalising toric geometry we study compact varieties admitting lower dimensional torus actions. In particular we describe divisors on them in terms of convex geometry and give a criterion for their ampleness. These results may be used to study Fano varieties with small torus actions. As a first result we classify log del Pezzo C∗-surfaces of Picard number 1 and Gorenstein index ≤ 3. In furthe...
متن کاملNon-archimedean canonical measures on abelian varieties
For a closed d-dimensional subvariety X of an abelian variety A and a canonically metrized line bundle L on A, Chambert-Loir has introduced measures c1(L|X) ∧d on the Berkovich analytic space associated to A with respect to the discrete valuation of the ground field. In this paper, we give an explicit description of these canonical measures in terms of convex geometry. We use a generalization o...
متن کاملHolomorphic Mapping into Canonical Algebraic Varieties
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...
متن کاملHigher-level Canonical Subgroups in Abelian Varieties
1.1. Motivation. Let E be an elliptic curve over a p-adic integer ring R, and assume that E has supersingular reduction. Consider the 2-dimensional Fp-vector space of characteristic-0 geometric p-torsion points in the associated 1-parameter formal group Ê over R. It makes sense to ask if, in this vector space, there is a line whose points x are nearer to the origin than are all other points (wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 2004
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-04-03743-2